4,1-Benzoxazepinone analogues of efavirenz (Sustiva) as HIV-1 reverse transcriptase inhibitors.