3-Benzoyl-6-cyano-8-oxa-3-azatricyclo[3.2.1.0~2,4~]oct-6-yl acetate AIDS-136830 AIDS136830 NSC639824