1-Pyrrolidinecarboxylic acid,2-[[[(1,1-dimethylethyl)diphenylsilyl]oxy]methyl]-5-ethynyl-,1,1-dimethylethyl ester, (2R,5R)-