Efavirenz for HIV-1 infection in adults: an overview