ignore, thats better than any option, if the person is mature, they will understand that you don't like them once you've ignored them