Restrepo, Antonio José, Colombia