tetrafluoride formula