The value of $2\sin 12^\circ - \sin 72^\circ$ is\\ (1) $\frac{\sqrt{5}(1 - \sqrt{3})}{4}$\\ (2) $\frac{1 - \sqrt{5}}{8}$\\ (3) $\frac{\sqrt{3}(1 - \sqrt{5})}{2}$\\ (4) $\frac{\sqrt{3}(1 - \sqrt{5})}{4}$