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