氧化铝与足量一氧化碳气体加热还原生成什么