2-(4-(Ethoxycarbonyl)-4-methyl-3-oxocyclohexyl)malonic acid AIDS-133409 AIDS133409 NSC628993