Código postal de Miguel Alemán en Santa Cruz de Juventino Rosas, Guanajuato, México