5H,14bH-14a,14c-Ethano-3H-[1,3]dioxolo[5,6]indolo[3,2,1-de]pyrido[3,2,1-ij][1,5]naphthyridin-13(14H)-one, 6,6a-dihydro-, (6aS,14bS)- AIDS-155733 AIDS155733