(5S,4R,6R,7R)-7-(Hydroxymethyl)-1,2,3,4-tetraazolo[1,5-a]piperidine-4,5,6-triol AIDS-104815 AIDS104815