5,6-Dihydrobicolorine 5-Methyl-5,6-dihydro[1,3]dioxolo[4,5-j]phenanthridine AIDS-140796 AIDS140796 NSC654242