1,3-Dioxolo[4,5-g]quinoline-7-carboxylic acid, 5-ethyl-5,8-dihydro-6-hydroxy-8-oxo- AIDS-191590 AIDS191590