Novel quaternary ammonium carbapenems: 1 beta-methyl-2-(5'-substituted pyrrolidinylthio) carbapenems.