Combination of biological screening in a cellular model of viral latency and virtual screening identifies novel compounds that reactivate hiv-1