What’s the best way to kill norovirus, the ‘stomach bug’?