12H-Benzo[a]phenothiazine and ACV AIDS-218402 AIDS218402