ماهو الرمز البريدي san juan (choya, dpto.choya)?