Código postal de Lira de Bocas en San Miguel de Allende, Guanajuato, México