This is the core part if you like Python:
import pathlib
import datetime
import pandas
file_name = '5AAD39B4.WAV'
file_stem = pathlib.Path(file_name).stem
posix_time = int(file_stem, 16)
print('String in ISO format: ',
datetime.datetime.utcfromtimestamp(posix_time).strftime('%Y-%m-%dT%H:%M:%SZ'))
print('String in compact ISO format: ',
datetime.datetime.utcfromtimestamp(posix_time).strftime('%Y%m%dT%H%M%SZ'))
print('String if you are using pandas:',
pandas.to_datetime(posix_time,unit='s'))