AIDS-148030 AIDS148030 NSC679110 tert-Butyl 2,6-dioxo-4-propyl-3-piperidinecarboxylate