compact real form of F4

GPTKB entity