What is the correct formula for hydrochloric acid?