AIDS-073031 AIDS073031 Carbamic acid, [(1S,2R)-2-hydroxy-3-[[(4-methoxyphenyl)sulfonyl](2-methylpropyl)amino]-1-(phenylmethyl)propyl]-, (3S)-tetrahydro-1,1-dioxido-3-thienyl ester Sulfonamide isostere