N-t-Butoxycarbonyl-trans-4-(1-naphthalenylmethyl)-L-proline;(2S,4R)-1-t-Butoxycarbonyl-4-(1-naphthalenylmethyl)pyrrolidine-2-carboxylic acid [ 959582-82-2 ]