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