You state Duflo Labesse in a slightly wrong. You need a finite sum of convolution products. Writing general G as an projective limit of Lie groups, it extends in a suitable manner to the smooth, compactly supported functions on G. So your proof extends to type 1 groups.