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