AIDS-113194 AIDS113194 D-Erythro-pentitol, 1,2,3,5-tetradeoxy-5-[(2S)-2-[[(1,1-dimethylethyl)amino]carbonyl]-4-(4-pyridinylmethyl)-1-piperazinyl]-3-[[[[(2R,3R)-tetrahydro-2-(1-methylethyl)-1,1-dioxido-3-thienyl]oxy]carbonyl]amino]-