(2S,3aS,7aR)-7a-allyl-octahydroindole-1,2-dicarboxylic acid 1-benzyl ester 2-tert-butyl ester