5a-Hydroindolino[1,2-a]pyridino[3,4-d]pyrimidine-5,10-dione A-ring azatryptanthrin AIDS-094191 AIDS094191