5-Cyclohexene-1,2,3,4-tetrone 1,3-bis(O-benzoyloxime) AIDS-151936 AIDS151936 NSC694214