Synthesis and evaluation of benzoxazinones as HIV-1 reverse transcriptase inhibitors. Analogs of Efavirenz (SUSTIVATM)