AIDS-134967 AIDS134967 Ethyl 4-oxo-3-(phenylthio)-1,2,3,4,6,7,12,12b-octahydroindolo[2,3-a]quinolizine-3-carboxylate NSC634126