potassium (6R-trans)-3-methyl-8-oxo-7-(phenylacetamido-5-thia-1-azabicyclo[4.2.0]oct-2-ene-2-carboxylate