allyl (1S,5S,8aS,8bR)-1-((R)-1-((tert-butyldimethylsilyl)oxy)ethyl)-5-ethoxy-2-oxo-1,2,5,6,7,8,8a,8b-octahydroazeto[2,1-a]isoindole-4-carboxylate

allyl (1S,5S,8aS,8bR)-1-((R)-1-((tert-butyldimethylsilyl)oxy)ethyl)-5-isopropoxy-2-oxo-1,2,5,6,7,8,8a,8b-octahydroazeto[2,1-a]isoindole-4-carboxylate

allyl (1S,5S,8aS,8bR)-5-ethoxy-1-((R)-1-hydroxyethyl)-2-oxo-1,2,5,6,7,8,8a,8b-octahydroazeto[2,1-a]isoindole-4-carboxylate

allyl (1S,5S,8aS,8bR)-1-((R)-1-hydroxyethyl)-5-isopropoxy-2-oxo-1,2,5,6,7,8,8a,8b-octahydroazeto[2,1-a]isoindole-4-carboxylate

(5R,6S)-6-<(1R)-hydroxyethyl>-2-(3-aminopropan-1-yl)-2-penem-3-carboxylic acid