(R,S)-1-(2,6-Difluorophenyl)-1H,3H-Oxazolo[3,4-a]benzimidazole AIDS-088885 AIDS088885 OBZ derivatives