diethyl 2-(2-oxocyclohexyl)propanedioate