(E)-4-(3-oxocyclohexyl)but-2-enoic acid