TREX1 and HIV infectious disease: The cellular support of productive HIV infection should be due to the regulation and proteolytic degradation of HIV restriction factors, i.e., SAMHD1, APOBEC3G, IFI16, and TREX1.