1,2,4a,5-tetrahydro-1,2-dihydroxy[1,3]dioxolo[4,5-j]phenanthridin-6H(12H)-one AIDS-004430 AIDS004430 Lycoridicine analog