Title: The history of penicillin production