The No. 33 additive to jet fuels, which has a chemical name of carbon disulfide, used to be an additive for preventing the nickel base flame tubes of aviation jet engine from corrosion.