8-Ethyl-3-isopropyl-8H-1,2,3a,7,8,9-hexaaza-dibenzo[e,h]azulene AIDS-087072 AIDS087072