1,2,3,4,4a,5-Hexahydro-1,2,3-trihydroxy[1,3]dioxolo[4,5-j]phenanthridin-6H(12H)-one AIDS-004428 AIDS004428 Lycoricidine analog