Design, synthesis, X-ray studies, and biological evaluation of novel BACE1 inhibitors with bicyclic isoxazoline carboxamides as the P3 ligand