Hastrman (román)