DFT study of the uncatalyzed dioxygenation of acireductone