4-hydroxy-4-(3-isopentyl-2-methyl-2-oxiranyl)-5-methoxy-1-oxaspiro[2.5]octan-6-one AIDS-014850 AIDS014850 Dihydroovalicine subst. NSC141539