Unless more recent filings (like a later Form 4 or Form 144) come out showing such a transaction, the 4.5 million figure isn’t currently backed by public records.
If it’s true, it likely also involved the exercise of his vested options, consistent with past behavior. But again—no publicly filed proof of a June 16 sale of that size.