1-Ethyl-1,4-dihydro-4-oxo(1,3)dioxolo(4,5-g)cinnoline-3-carboxylic acid 28657-80-9 AIDS-097071 AIDS097071 Cinoxacin NSC304467