Cyclohexyl ketal reagent Diisopropoxy cyclohexyl ketal EE4137408 Ketal reagent, DCK