Amazon was using MongoDB without paying for it.
Do you have a citation for that? AGPL is usually not considered business friendly or a corporate "allowed by default" license, even for internal use.
Contrary to the headline and articles inference I havent seen any indication that MongoDB source or IP is or was actually being used. As you note this all comes down to API compatibility and tangled notions of "proprietary" slash copyright.