Osasuna ficha al portero Rubén Martínez