(4S,6S,7S,5R)-7-Methyl-1,2,3,4-tetraazolo[1,5-a]piperidine-4,5,6-triol AIDS-009257 AIDS009257