potassium [2S-(2alpha,5alpha,6beta)]-6-bromo-3,3-dimethyl-7-oxo-4-thia-1-azabicyclo[3.2.0]heptane-2-carboxylate