Comparative efficacy of commercially available alcohol-based hand rubs and World Health Organization-recommended hand rubs: formulation matters.