2-Azatryptanthrin derivative 8-(Trifluoromethyl)-10b-hydroindolino[1,2-a]pyridino[4,3-d]pyrimidine-6,11-dione AIDS-094200 AIDS094200