Edurant OKed as HIV treatment by FDA