The Star-Formation Properties of Nearby AGN in the Observed and Simulated Universe: BAT vs EAGLE