Código postal de San José de la Barranca (El Ranchito) en San Francisco del Rincón, Guanajuato, México