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