No tenemos la biografía de Iván Restrepo.