(3S,4S,5R,6R)-3,4,5-Trihydroxy-6-methylpiperidin-2-one AIDS-008794 AIDS008794