AIDS-070584 AIDS070584 N-Amino-2-piperidylcarboxamide