Instantons and seven-branes in type IIB superstring theory