Monóxido de carbono é usado como: