Benito Juárez García"" (1952 - 1957).