Carlos Eugenio Restrepo Restrepo, conocido como Carlos E.