TCF4 and HIV-1 infection: Most studies of Wnt/β-catenin signalling in relation to HIV-1 infection have focused on the regulation of TCF/LEF family member TCF4, which has been identified as a repressor of HIV-1 replication in astrocytes and monocytes [46–50].