AIDS-038935 AIDS038935 Isothiazolo[5,4-b]pyridin-3(2H)-one, 4,6-dimethyl-2-[2-oxo-2-(4-phenyl-1-piperazinyl)ethyl]-