5-[(2,2-Dimethyl-[1,3]dioxolan-4-yl)-hydroxy-methyl]-5H-thiophen-2-one AIDS-149836 AIDS149836 NSC685422