Herradero de la ganadería de José Luis Pereda, Antonio del Carmen