(+/-)-4-Cyclopropylethynyl-6-isopropyl-4-trifluoromethyl-1,4-dihydro-benzo[d][1,3]oxazin-2-one AIDS-085866 AIDS085866