(2S,3S,4S,5S)-2-Methylpiperidine-3,4,5-triol AIDS-009212 AIDS009212