Synonyms: Pyrrolidinium, 1-[[(6R,7R)-7-amino-2-carboxy-8-oxo-5-thia-1-azabicyclo[4.2.0]oct-2-en-3-yl]methyl]-1-methyl-, chloride, Pyrrolidinium, 1-[(7-amino-2-carboxy-8-oxo-5-thia-1-azabicyclo[4.2.0]oct-2-en-3-yl)methyl]-1-methyl-, hydroxide, inner salt, monohydrochloride, (6R-trans)-, 1-[[(6R,7R)-7-Amino-2-carboxy-8-oxo-5-thia-1-azabicyclo[4.2.0]oct-2-en-3-yl]methyl]-1-methylpyrrolidinium chloride