In theory this should work but is likely untested. Questions that arise:
-is voltage and current from Lenovo adapter going to be adequate
-will drivers work with the HP computer
If you have the dock already likely worth the gamble of trying.
If you find the information provided useful or solves your problems, help other users find the solution easier by giving kudos and marking my post as an accepted solution. I am a volunteer, offering my knowledge to support fellow users, I do not work for HP nor speak for HP.
Be alert for scammers posting fake support phone numbers and/or email addresses on the community. If you think you have received a fake HP Support message, please report it to us by clicking on "Flag Post".