ماهو الرمز البريدي san miguel el alto (el puerto)?