(2beta,3beta,4alpha,5beta)-2[(4-cyanophenyl)thiomethyl]-5-hydroxymethyl-3,4-pyrrolidene diol AIDS-023755 AIDS023755