I downloaded and used the Avira registry cleaner. Avast still says that “Antivir Desktop” is installed.