negative regulation of smooth muscle cell proliferation