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