New HIV-1 Protease Inhibitor bearing a benzothiophene as the P2-ligand: easy structure and effective activity.