1-Pyrrolidinecarboxylic acid,2-[4-[1-[[(1,1-dimethylethoxy)carbonyl]amino]-3-butenyl]phenyl]-4-[[(1,1-dimethylethyl)dimethylsilyl]oxy]-, 1,1-dimethylethyl ester, (2R,4R)-