(2beta,3beta,4alpha,5beta)-2-[(2-naphthyl)thio methyl]-5-hydroxy methyl-3,4-pyrrolidene diol AIDS-022524 AIDS022524