I am trying to use VirtualDub to produce a WAV file from my AVI input as per https://www.videohelp.com/forum/userguides/185077.php#7

When I try to Save Wav I get a message
"No audio decompressor could be found to decompress the audio source format"

Gspot tells me that my audio codec is
0x0055(MP3) ID'd as MPEG-1 Layer 3

Thanks