I think its worth clarifying that there are multiple virology labs in Wuhan; the WIV BSL-4 lab is indeed ~12km away from the wet market, but the WHCDC BSL-2 lab in use since around 2018 is located a couple hundred meters away from the market. Ref the last page of
https://img-prod.tgcom24.mediaset.it/images/2020/02/16/11472...There are some claims (debatable?) that bat coronavirus studies were conducted at the WHCDC lab. There is more information about the laboratory locations and biosafety concerns in this report: https://www.researchgate.net/publication/350887648_3_WUHAN_L... (written by members of the drastic project; I'm not sure how much of this information is substantiated by other sources but at least the maps appear to be reasonably accurate).