5-heptyn-2-one ethylene ketal