Treating chikungunya using HIV/AIDS drug efavirenz