ماهو الرمز البريدي antigua (san tirso de abres)?