tert-butyl (2S,4S)-4-allyl-2-{[(2S)-2-cyano-1-pyrrolidinyl]carbonyl}-1-pyrrolidinecarboxylate

(2S,3aS,7aR)-7a-[3-(N-benzyloxycarbonyl-N'-tert-butoxycarbonylamino)-3-methoxycarbonyl-allyl]-octahydroindole-1,2-dicarboxylic acid 1-benzyl ester 2-tert-butyl ester