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