Proline imidazolidinones and enamines in Hajos―Wiechert and Wieland― Miescher ketone synthesis