The Wikipedia page on penicillin currently claims that the drug saved 12-15% of Allied lives... not sure I believe that or know exactly what it means, but have there been any estimates of the strategic importance of Allied industrial-scale access to penicillin during WWII?