Restrepo Ortiz, Carlos Mario