ماهو الرمز البريدي san jose del tizonazo (el pueblo)?