what is the alma mater of josé ramos-horta and harold e . varmus ?
SELECT DISTINCT var_uri where brack_open dbr_José_Ramos-Horta dbo_almaMater var_uri sep_dot dbr_Harold_E._Varmus dbo_almaMater var_uri brack_close