AIDS-212831 AIDS212831 Cyclopropanecarboxylic acid, 2-[4-[2-(11-ethyl-2-fluoro-6,11-dihydro-5-methyl-6-oxo-5H-dipyrido[2,3-e:3',2'-b][1,4]diazepin-8-yl)ethoxy]-1-naphthalenyl]-