1-(4,5-Dimethylbicyclo[2.2.2]oct-5-en-2-ylidene)ethyl formate AIDS-131647 AIDS131647 NSC624381