ماهو الرمز البريدي san tirso (mieres)?