I found a simpler solution, viz. I disabled the Wireless Network Connection under "Change adapter settings" in the Control Panel Network Sharing section. It may have been better to do it in the BIOS, but the present solution seems to have worked.
Thanks for your response.
PRS