Constrained amino acids. An approach to the synthesis of 3-substituted prolines