allyl (4R,8S,9R,10S)-4-[(S)-(1-allyloxycarbonyl)pyrrolidin-3-ylthiomethyl]-10-[(R)-1-hydroxyethyl]-11-oxo-1-azatricyclo[7.2.0.03,8]undec-2-ene-2-carboxylate

(1S,5R,8aS,8bR)-5-((S)-1-Allyloxycarbonyl-pyrrolidin-2-ylmethylsulfanylmethyl)-1-((R)-1-hydroxy-ethyl)-2-oxo-1,2,5,6,7,8,8a,8b-octahydro-azeto[2,1-a]isoindole-4-carboxylic acid allyl ester

(1S,5S,8aS,8bR)-5-((S)-1-Allyloxycarbonyl-pyrrolidin-2-ylmethylsulfanylmethyl)-1-((R)-1-hydroxy-ethyl)-2-oxo-1,2,5,6,7,8,8a,8b-octahydro-azeto[2,1-a]isoindole-4-carboxylic acid allyl ester

allyl (4S,8S,9R,10S)-4-[(S)-(1-allyloxycarbonyl)pyrrolidin-3-ylthiomethyl]-10-[(R)-1-(tert-butyldimethylsilyloxy)ethyl]-11-oxo-1-azatricyclo[7.2.0.03,8]undec-2-ene-2-carboxylate

allyl (4R,8S,9R,10S)-4-[(S)-(1-allyloxycarbonyl)pyrrolidin-3-ylthiomethyl]-10-[(R)-1-(tert-butyldimethylsilyloxy)ethyl]-11-oxo-1-azatricyclo[7.2.0.03,8]undec-2-ene-2-carboxylate