ماهو الرمز البريدي san jose de las penas (la barranca)?