Formylation of cyclic β,γ-unsaturated ketones