二氧化硅和氢氟酸反应的离子方程式