Gravar-mail: Chemistry and Structure-Activity Relationship of the Styrylquinoline-Type HIV Integrase Inhibitors