Tandem chain extension-Mannich reaction: an approach to β-proline derivatives.