receta de champiñones marinados