Steak with Porcini Butter (Wild Porcini Sea Salt)