1-Pyrrolidinecarboxylic acid, 2-[[[(1R,2S)-2-ethenyl-1-(methoxycarbonyl)cyclopropyl]amino]carbonyl]- 4-hydroxy-, 1,1-dimethylethyl ester, (2S,4S)-