The most common antivirus program going by that name and using a year for the version number is Norton Antivirus from Symantec. That said, "antivirus" is a pretty generic name, and many companies use that word in their product naming. I'm not sure if Defender counts, so I'm not sure if Microsoft has an antivirus program out. There was a Microsoft Antivirus program years back that was bundled with Windows, but that was just a rebadge of Norton AV.
If it's Norton, it should be ok. If it's not, I'd be very suspicious of any product that was recommended by a popup that you suspected was produced by a virus. Do a thorough scan using a reputable antivirus program. If you don't want to spend anything, try AVG-Free Edition. If you feel better with a product you pay for that comes in a box, you'll find several choices at your local office supply store.