Fluorine Modifications Contribute to Potent Antiviral Activity against Highly Drug-Resistant HIV-1 and Favorable Blood-Brain Barrier Penetration Property of Novel Central Nervous System-Targeting HIV-1 Protease Inhibitors In Vitro