AIDS-153364 AIDS153364 Ethyl 8-oxodecahydrodicyclopenta[b,e]pyridine-4(1H)-carboxylate NSC699843