AIDS-124989 AIDS124989 NSC57853 Tetracyclo[6.4.0.0~1,10~.0~2,7~]dodeca-4,11-diene-3,6-dione