Tetraoxygen difluoride