Du kannst hoffen, dass der Anhang nicht wirklich böse war, aber sicher ist es nicht.
Es kann aber auch sein, du hast den Anhang mit der falschen Anwendung geöffnet, beispielsweise eine "klick.pdf" mit einem Texteditor, die Ausgabe sieht dann ähnlich aus.
Sollte man die erwähnten Namen heranziehen, vor allem "Lizardman", ist es möglicherweise doch ein böser Anhang, es werden nicht nur Viren untergejubelt, da sind noch: Malware, Spyware, Adware etc. .
Nicht alle Scanner suchen per se danach, falls überhaupt, meistens muss man den sagen was sie suchen sollen, sprich eine gezielte Suche initiieren.
Oder halt andere Aufspürtools auffahren lassen.
Dann bleibt noch die möglichen Funde zu entfernen, aber ob sie dann vollständig entfernt werden, ist schon eine andere Frage.
So gesehen hast du eine "50/50 Situation", entscheide weise, sonst kannst du selbst zu einer Virenschleuder werden, falls es schon nicht geschehen ist.
Kläre das mit deiner eigentlichen sicheren Quelle (dem Absender) auf, vielleicht ist die selbst davon betroffen.
Über E-Mails und Anhänge (gedachten sicheren Anhängen) findest du sogar hier sehr viele Anfragen, Berichte, halt was denjenigen da passiert ist.