(+/-)-4-Cyclopropylethynyl-6,7,8-trifluoro-4-trifluoromethyl-1,4-dihydro-benzo[d][1,3]oxazin-2-one AIDS-085873 AIDS085873