John Buxton — architect (1685-1731)