5-[(2S,4R)-2-Hydroxymethyl-[1,3]dioxolan-4-yl]-[1,2,4]triazole-3-carboxamide AIDS-086028 AIDS086028