AIDS-139322 AIDS139322 Methyl 3-ethylidene-1,2,3,4,6,7,12,12b-octahydroindolo[2,3-a]quinolizine-2-carboxylate NSC648232