A colorless, pungent, and irritating gas, CH20, used chiefly as a disinfectant and preservative and in synthesizing other compounds like resins