tetraphosphorus decoxide formula