3-(3-Cyclohexylpropyl)-2,4-quinolinediol 5427-45-2 AIDS-124111 AIDS124111 NSC13034