Clinical interaction between efavirenz and phenytoin.