3,4,5-Piperidinetriol, 1-[4-(2,2-dimethyl-1,3-dioxolan-4-yl)butyl]-2-(hydroxymethyl)-, (2R,3R,4R,5S)- AIDS-166365 AIDS166365