oxidation state of carbon in hcho