Chlorine trifluoride formula