4. 設 $\frac{\pi}{2} \le x \le \frac{3\pi}{2}$，則函數 $f(x)=\sqrt{3}\sin 2x-\cos 2x+6\sin
x-6\sqrt{3}\cos x$ 的最大值為______。