10-Acetyl-3,7-dinitrophenothiazine, 5-oxide AIDS-019527 AIDS019527