Update 4 of Week 16: New Guidelines issued by the National Institute of Occupational Health – COVID-19 infection in the Workplace (8 July 2020)