10-(1,1,2,2-Tetrafluoroethyl)-10H-phenothiazine AIDS-143215 AIDS143215 NSC663612