Any way to directly download an audio source file when the web page is using a javascript audio player (that doesn't use filenames like "x.mp3")?

(I know apps exist for recording system audio as it plays, and I will do that if there’s no other solution – I’m just asking to see if there’s any way to download this source file directly.)

Here is how the source code for the player appears when I view the page’s source code—basically instead of a regular source file name, there is a single long string of seemingly random characters (if it’s not clear, anything within bracket signs below [] is me removing info to preserve my question’s anonymity):

<script type=“text/javascript”>AudioPlayer.embed(“audioplayer_1”, {titles:”[title removed]”,soundFile:“aHR0[many characters removed]tcDM”});