AIDS-133107 AIDS133107 Diethyl 1,2,3,6,7,8-hexahydro-2,7-pyrenedicarboxylate NSC628314