Charting the real four-qubit Pauli group via ovoids of a hyperbolic quadric of PG(7, 2)