实验室制二氧化炭方成式是什么?