4-Methyl-7-propyl-4,7-decanediol AIDS-125400 AIDS125400 NSC71409