(3S,4R)-4-naphthalen-2-ylpyrrolidine-3-carboxylic acid