Novel anti-HIV-1 NNRTIs based on a pyrazolo[4,3-d]isoxazole backbone scaffold: design, synthesis and insights into the molecular basis of action