AIDS-038927 AIDS038927 Isothiazolo[5,4-b]pyridin-3(2H)-one, 2-[2-hydroxy-3-[4-[3-(trifluoromethyl)phenyl]-1-piperazinyl]propyl]-4,6-dimethyl-