3-Cycloheptene-1,1-dicarboxylic acid, diethyl ester