4-dimensinal topology and gauge theory