6,12-Dioxo-6,12-dihydro-indolo[2,1-b]quinazoline-8-carboxylic acid ethyl ester AIDS-092995 AIDS092995