Hello Andrew,
Hauptwerk v4 is no longer available to download (or on any other media) from us, I'm afraid. However, even if you didn't keep a backup copy of the software, you would certainly still be eligible to upgrade to the current version of Hauptwerk (v8), if you wished. The v4 dongle is the important thing for that, since that contains your v4 licence.