9-(3-(2-Methyl-1,3-dioxolan-2-yl)phenyl)-1,4-dioxaspiro[4.6]undec-6-en-8-one AIDS-141022 AIDS141022 NSC655305