Código postal de San José de Otates Sur (Piedras de Coche) en León, Guanajuato, México