A line segment with endpoints at #(-1, 1)# and #(3, -5)# is rotated clockwise by #pi/2#. What are the new endpoints of the line segment?