when was penicillin first introduced to the public