3-Ethylidene-3,4,6,7,12,12b-hexahydroindolo[2,3-a]quinolizine AIDS-139318 AIDS139318 NSC648228