AIDS-085984 AIDS085984 Cyclopropylethynyl-nitro-trifluoromethyl-1,4-dihydro-benzo[d][1,3]oxazin-2-one