Theoretical studies of carbon dioxide catalysis of peroxynitrite isomerizations