Definition of "penicillin"