AIDS-137718 AIDS137718 Ethyl 2,3,3a,4,5,9b-hexahydrofuro[3,2-c]quinoline-4-carboxylate NSC642932