2-(3-(2-Methyl-1,3-dioxolan-2-yl)phenyl)-7,12-dioxaspiro[5.6]dodecan-3-one AIDS-141019 AIDS141019 NSC655302