AIDS-095453 AIDS095453 {(1S,2R)-3-[(Benzo[1,3]dioxole-5-sulfonyl)-(4-cyano-2,2-dimethyl-butyl)-amino]-1-benzyl-2-hydroxy- propyl}-carbamic acid [1,3]dioxan-5-yl ester