2-Amino ketene S,S-acetals as α-amino acid homoenolate equivalents. Synthesis of 3-substituted prolines and molecular structure of 2-(N-pivaloylpyrrolidin-2-ylidene)-1,3-dithiane