Fallece José Antolín Toledano, fundador del Grupo Antolin