A straightforward route to enantiopure 2-substituted-3,4-dehydro-beta-proline via ring closing metathesis