8-Chloro-5-ethyl-6-oxo-5,6-dihydro[1,3]dioxolo[4,5-g]quinoline-7-carboxylic acid AIDS-132237 AIDS132237 NSC625707