When did penicillin G become available outside of military use?