4-(5-Ethynyl-2,2-dimethyl-[1,3]dioxolan-4-yl)-2,2-dimethyl-[1,3]dioxan-5-ol AIDS-160398 AIDS160398 NSC627084 NSC627085