Design, synthesis and in silico evaluation of substituted quinoline derivatives for anti-hiv activity