Código postal de El Puerto de Ardillas en San Felipe, Guanajuato, México