How to realize the trace(A*X*X^h*B^h) in CVX?

If A = B, this can be reformulated as square_pos(norm(A*X,'fro')).

However, when A is different than B, it is not generally convex (or concave). Do you have a proof otherwise for your specific values of A and B ?