CEO da Codexis vende US$ 8.619 em ações da empresa