(2beta,3beta,4alpha,5beta)-2-[(phenyl)thiomethyl]-5-hydroxymethyl-3,4-pyrrolidine diol AIDS-040247 AIDS040247