Portea petropolitana var. extensa