ethyl 1,3-dimethyl-5,5-ethylenedioxy-2-oxocyclohexanecarboxylate