1,2-Dipropyl-3,4-dihydroisoquinoline-6,7-diol AIDS-114930 AIDS114930