4-(2,2-Dimethyl-[1,3]dioxolan-4-yl)-3-methyl-oxetan-2-one AIDS-153625 AIDS153625 NSC701654