Boris Johnson's coronavirus advice: wash hands for the time it takes to sing Happy Birthday twice