(+)-(4R,5S,6S)-6-[(1R)-1-Hydroxyethyl]-4-methyl-7-oxo-3-[[(3R)-5-oxopyrrolidin-3-yl]sulfanyl]-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylic acid