HOL Guard: Open-source antivirus for AI agents