Synthesis and HIV-1 inhibitory properties of new tetrahydrobenzoquinazolinedione and tetrahydrobenzocycloheptenuracil derivatives and of their thioxo analogues