1-(2-Pyridinylcarbonyl)proline AIDS-147941 AIDS147941 NSC678407