下列说法正确的是

A．红外光谱仪、质谱仪、核磁共振仪、紫外光谱仪和元素分析仪都是用于测定有机物结构的现代仪器

B．工业上采用电解熔融氧化铝的方法冶炼铝，为了降低氧化铝的熔点，在实际生产中，向氧化铝中添加冰晶石

C．化学家鲍林提出了氢键理论和蛋白质分子的螺旋结构模型，为DNA分子双螺旋结构模型的提出奠定了基础

D．雾霾天气首要污染物为PM2．5（指大气中直径小于或等于2．5微米的颗粒物），PM2．5在空气中一定形成气溶胶