Conformationally constrained amino acids. Synthesis and optical resolution of 3-substituted proline derivatives