AIDS-223870 AIDS223870 Carbamic acid, [(1S,2R)-3-[(1,3-benzodioxol-5-ylsulfonyl)(2-methylpropyl)amino]-2-hydroxy-1-[[4-[2-(2-thienyl)ethoxy]phenyl]methyl]propyl]-, (3R,3aS,6aR)-hexahydrofuro[2,3-b]furan-3-yl ester