history of penicillin