最早证明空气有重量的科学家是（），证明空气是多种成分气体的科学家是（）。