5-(5-Ethyl-2-(ethylsulfonyl)-3-thienyl)-1,3,4-oxathiazol-2-one AIDS-151934 AIDS151934 NSC694212