Diastereoselective synthesis and molecular docking studies of novel fused tetrahydropyridine derivatives as new inhibitors of HIV protease