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