ماهو الرمز البريدي san jose de pena?