From in silico hit to long-acting late-stage preclinical candidate to combat HIV-1 infection