Efficient decoding for the Hayden-Preskill protocol