2-Cyclohexyl-1,14-dioxatetraspiro[2.1.2.0.4.1.2.2]octadeca-10,12,17-triene AIDS-128217 AIDS128217 NSC245091