1,2-Pyrrolidinedicarboxylic acid, 4-(2,2-difluoro-4-pentenyl)-,1-(1,1-dimethylethyl) 2-(phenylmethyl) ester, (2S,4S)-