(+/-)-4-Cyclopropylethynyl-4-trifluoromethyl-1,4-dihydro-naphtho[2,3-d][1,3]oxazin-2-one AIDS-085880 AIDS085880