AIDS-024391 AIDS024391 Quinoline-4-carboxaldehyde thiosemicarbazone