2,3-Diphenyl-5-(phenylsulfonyl)isoxazolidine 2,3-Diphenyl-5-isoxazolidinyl phenyl sulfone AIDS-135174 AIDS135174 NSC634523