Código postal de San Antonio de las Cruces (La Troja) en San Miguel de Allende, Guanajuato, México