Post holiday cleaning

Recently back from holiday which required factor 50 sun block and copious application of DEET.
Inevitably some of this has transferred to my camera and lenses.
Any recommendations on how to clean this off?

Zeiss lens cleaning tissues, available in packs of 200.

https://www.amazon.co.uk/ZEISS-Lens-Wipes-Pack-200/dp/B00IKGH2TI/ref=sr_1_5?crid...

How to disinfect, but he uses cleaning products too.

https://www.lensrentals.com/blog/2020/03/how-to-disinfect-camera-equipment-and-s...