AIDS-137723 AIDS137723 Ethyl 6,6a,7,11b-tetrahydro-5H-indeno[2,1-c]quinoline-6-carboxylate NSC642938