What is the chemical formula of diphosphorous tetroxide?