david edward allen