Restrepo Restrepo, Juan Carlos