AIDS-127712 AIDS127712 NSC177440 Tricyclo[4.2.2.0~1,6~]decane-2,7-dione