AIDS-113667 AIDS113667 Carbamic acid, [(1S,2S)-3-[(3S)-1-[(4S)-3,4-dihydro-2,2-dioxido-1H-2-benzothiopyran-4-yl]-2-oxo-3-(phenylmethyl)-3-pyrrolidinyl]-2-hydroxy-1-(phenylmethyl)propyl]-, (3S)-tetrahydro-3-furanyl ester