ماهو الرمز البريدي san cristobal (oviedo)?