What is the formula for the covalent compound carbon tetrachloride?