3-Ethyl-5-imino-1-methyl-2,6-dioxabicyclo[2.2.2]octane-4,8,8-tricarbonitrile AIDS-148833 AIDS148833 NSC681871