Carbon tetrafluoride chemical formula