Pick a video tool; everything runs locally in your browser.
Re-encode video (WebM/MP4), shrink size
Make a GIF, set width and fps
Extract audio as WAV