AIDS-149261 AIDS149261 Ethyl 1-cyclopropyl-4-oxo-3-piperidinecarboxylate NSC683443