AIDS-083867 AIDS083867 Isobutyric acid (3S,6S,7R,8R)-8-benzyl-3-{[1-(3-hydroxy-pyridin-2-yl)-methanoyl]-amino}-6-methyl-4,9-dioxo-[1,5]dioxonan-7-yl ester UK3A