Which of the following complex numbers corresponds to a rotation of $z = 1 + \sqrt{3}i$ by $\frac{\pi}{2}$ radians counterclockwise?