氢氯酸的化学式……是什么?