Discovery of 2-aminoimidazole and 2-amino imidazolyl-thiazoles as non-xanthine human adenosine A 3 receptor antagonists: SAR and molecular modeling studies