Tunable high-efficiency microwave frequency shifting of infrared lasers | Synapse