Room air disinfection by ultraviolet irradiation of upper air: air mixing and germicidal effectiveness.