1,3-Pyrrolidinedicarboxylic acid,4-[3-(methoxycarbonyl)-2-naphthalenyl]-, 1-(1,1-dimethylethyl) 3-methylester, (3R,4S)-rel-