(2S,5β,6Z)-3,3-Dimethyl-7-oxo-6-(2-oxopropylidene)-4-thia-1-azabicyclo[3.2.0]heptane-2β-carboxylic acid