(2S,4S)-2-[(E)-2-(3-Hydroxymethyl-isoxazol-5-yl)-vinyl]-4-mercapto-pyrrolidine-1-carboxylic acid allyl ester

(4R,5S,6S)-6-((R)-1-Hydroxy-ethyl)-3-{(3S,5S)-5-[(E)-2-(3-hydroxymethyl-isoxazol-5-yl)-vinyl]-pyrrolidin-3-ylsulfanyl}-4-methyl-7-oxo-1-aza-bicyclo[3.2.0]hept-2-ene-2-carboxylic acid