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).
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).