Pressure cooker mushroom sauce