Which substance has the chemical formula HCl?