I have finally resorted to a full reinstall of Linux Mint. The microphone still does not work. I have a second Linux machine (Nipogi) and the mike works fine with that. It seems that this is a known issue with the Beelink SER5 as there are other members with the same problem.