AIDS-019425 AIDS019425 p-Nitrophenyl phenyl sulfone