3,8-Diethyl-8H-1,2,3a,7,8,9-hexaaza-dibenzo[e,h]azulene AIDS-087071 AIDS087071