Thanks for the prompt replies- I've just re-booted again, and they have re-appeared in Device Manager, unfortunately, complete with yellow exclamation marks.
I don't think that it is a virus problem- I scan with AVG (updated daily), and the computer's got a clean bill of health there! I'm going to check connections.