胃酸的化学式怎么写?