Use of HEPA filters to reduce the risk of nosocomial spread of SARS-CoV-2 via operating theatre ventilation systems. (October 2020)