AIDS-110857 AIDS110857 Carbamic acid, [(1S,2R)-3-[(2S)-2-[[(1,1-dimethylethyl)amino]carbonyl]-4-(2-thienylmethyl)-1-piperazinyl]-2-hydroxy-1-(phenylmethyl)propyl]-, (2R,3R)-tetrahydro-2-(1-methylethyl)-1,1-dioxido-3-thienyl ester