3-(1,3-Benzodioxol-5-ylcarbonyl)-2-oxa-3-azabicyclo[2.2.2]oct-5-ene 70156-95-5 AIDS-129095 AIDS129095 NSC328358