5a-Hydroindolino[1,2-a]pyrimidino[4,5-d]pyrimidine-5,10-dione A-ring azatryptanthrin AIDS-094193 AIDS094193