2(1H)-Quinazolinone, 4-(cyclopropylethynyl)-5,6-difluoro-3,4-dihydro-4-(trifluoromethyl)-, (4R)- AIDS-088120 AIDS088120