3,7-Dibenzyl-3,7-diazatricyclo[4.2.2.2~2,5~]dodeca-9,11-diene-4,8-dione AIDS-133103 AIDS133103 NSC628310