potassium (2S,5R,6R)-3,3-dimethyl-7-oxo-6-{[(2S)-2-phenoxybutanoyl]amino}-4-thia-1-azabicyclo[3.2.0]heptane-2-carboxylate