What is penicillin, and how was it discovered?