Is vMotion an option here, the clients would migrate seamlessly.
As always would start with secondary(s), failover, then the other node.
If not and assuming your in Enterprise edition build out new nodes in the new VMWare cluster, add to the AG then failover once all synced and then destroy the older nodes.