I use Yet Another Call Blocker. It has a custom block list you can use to block a specific number.
The block list also supports wildcard characters, which is my favorite feature! I use it to block swaths of numbers (much of my spam comes from the state I used to live in, so I block those area codes).