5-[(2R,4R)-2-Hydroxymethyl-[1,3]dioxolan-4-yl]-[1,2,4]triazole-3-carboxamide AIDS-086027 AIDS086027