Design, synthesis, in vitro and in silico studies of novel 4-oxoquinoline ribonucleoside derivatives as HIV-1 reverse transcriptase inhibitors