For many years, I had a very nice experience with NOD32. By far the best antivirus I have used in terms of UI and resources. Well, admittedly not that high of a bar.. but they really seem to care about efficiency and and elegance.
Considering the built in one is pretty slow (and gives useless notifications), I expect it would be an improvement.