Schande über mich - nach stundenlangem Rumprobieren bin ich jetzt doch noch selbst drauf gekommen.
Hier meine Lösung, falls sonst noch jemand Interesse dran hat:
convert -channel RGBA -fill red -opaque '#FFFFFF00' +channel -fill white -flatten a.png b.bmp