(3aS,4R,6aR)-N-((S)-2-benzyl-3-((tert-butyldimethylsilyl)oxy)propyl)-5-(5-chlorothiophene-2-carbonyl)-2,2-dimethyltetrahydro-4H-[1,3]dioxolo[4,5-c]pyrrole-4-carboxamide

(3aS,4R,6aR)-N-((S)-3-(3-bromophenoxy)-2-(hydroxymethyl)propyl)-5-(cyclohexanecarbonyl)-2,2-dimethyltetrahydro-4H-[1,3]dioxolo[4,5-c]pyrrole-4-carboxamide

(3aS,4R,6aR)-5-(3-bromobenzoyl)-N-((S)-3-(3-bromophenoxy)-2-(hydroxymethyl)propyl)-2,2-dimethyltetrahydro-4H-[1,3]dioxolo[4,5-c]pyrrole-4-carboxamide

benzyl (3-((3aS,4R,6aR)-4-(((S)-3-(3-bromophenoxy)-2-(hydroxymethyl)propyl)carbamoyl)-2,2-dimethyltetrahydro-5H-[1,3]dioxolo[4,5-c]pyrrol-5-yl)-3-oxopropyl)carbamate