Qual dos seguintes pesquisadores não esteve envolvido em formulações importantes a respeito da origem da vida?