Carbon tetrafluoride formula