5-[(2S,4S)-2-Hydroxymethyl-[1,3]dioxolan-4-yl]-[1,2,4]triazole-3-carboxamide AIDS-086029 AIDS086029