ماهو الرمز البريدي minas de san pedro?