mushrooms sautéed in olive oil