Design, synthesis and docking studies of novel anti-HIV agents