Hey clraik members

Mr friend just got a Win32/Coinminer virus and he doesn't know how to rid of it. He says his Anti-virus program wont get rid of it and he's tried many things. To all those who know about viruses and hacks like this: any solutions? Anything will be helpful. Thanks!