3-((Benzyloxy)methyl)-1-((triisopropylsilyl)oxy)-5-vinylbicyclo[2.2.2]oct-5-ene-2-carboxylic acid AIDS-134850 AIDS134850 NSC633878