what is the formula for the compound tetraphosphorus decoxide?