4-(2-Cyclopropylethynyl)-5-fluoro-4-(trifluoromethyl)-1H-benzo[d]1,3-oxazin-2-one AIDS-085980 AIDS085980