1,2-Pyrrolidinedicarboxylic acid, 5-(2-phenylethynyl)-,1-(1,1-dimethylethyl) 2-ethyl ester, (2S,5S)-