(R)-Di-2-naphthylprolinol