A Review of FDA-Approved Anti-HIV-1 Drugs, Anti-Gag Compounds, and Potential Strategies for HIV-1 Eradication