No tenemos la biografía de Hugo Restrepo.