Tetraoxo derivatives of perhydropyrrolo[3,4-c]pyridine