<a href="https://example.com/wp-content/uploads/real-file-name.jpg" download="download-filename-base" class="tu-button">Download</a>
Style the link’s class “tu-button” like a button and you’re good to go ??
Prior to HTML5 the download attribute had no value, it was just there by itself and the user gets the regular filename.
]]>