Consistent four-derivative heterotic truncations and the Kerr-Sen solution | Synapse