Ñoquis con salsa de setas y jamón