2-propylspiro[isoquinoline-4,3'-pyrrolidine]-1,2',3,5'-tetrone 2-propylspiro[isoquinoline-4,3'-pyrrolidine]-1,2',3,5'-diquinone